ProjectIT-Requirements, a Formal and User-oriented Approach to Requirements Specification
نویسندگان
چکیده
Software requirements engineering is an essential activity for the successful development of information systems. The outcome of this activity is not always successful, which is visible in the lack of software quality, costs and schedules overruns. Although the efforts made and the initiatives proposed, there is not a widely accepted practice or standard in this area, comparable to what we have achieved, for example, in the modeling activities. This paper briefly describes the state of the art in the area of requirements specification, explains the motivation to develop a new initiative, which we have called “ProjectIT-Requirements” and enumerates the goals we want to achieve with the project, the context in which it integrates and the results obtained from the development of an initial prototype.
منابع مشابه
Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns
Requirements Engineering is a system engineering discipline of paramount importance. Its primary deliverable is the requirements specification, a document that entails the detailed description of business-specific needs to which the target software system must comply to. Despite the advances brought by modeling techniques, the specification of software systems still consists mostly in manually ...
متن کاملThe ProjectIT-RSL Language Overview
Requirements engineering is widely considered to be an essential activity for the successful development of information systems. This paper briefly presents a new initiative called “ProjectIT-Requirements” and describes the results achieved in the definition of a requirements specification language, called “ProjectIT-RSL”, and the implementation of a prototype using VisualStudio.NET. This is th...
متن کاملCombining Formal Specifications with Design by Contract
In this paper, we present an approach to the object-oriented software development which is based on: i) automatic generation of a throwaway prototype from the initial specification in a formal, declarative, object-oriented specification language, ii) validation of user requirements and refinement of the specification by using this prototype, and iii) automatic translation from the validated spe...
متن کاملAgent-Oriented Modeling by Interleaving Formal and Informal Specification
The goal of this paper is to discuss possibilities of inter-mixing formal and informal specification in order to guide and support the conceptual modeling process in software development. We sketch a framework which rests on an agentoriented methodology that provides a modeling language which allows for the definition of both informal and formal specification. We show how formal techniques can ...
متن کاملVom Fachbereich für Mathematik und Informatik
Conceptual modelling is the process of the software life cycle concerned with the identification and specification of requirements for the system to be built. In the last years, the ever increasing demands for software correctness have encouraged the use of formal methods in the modelling process. The use of formal specification languages provides more precise and concise specifications, and a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004